Dynamical Systems Revisited: Hybrid Systems with Zeno Executions
نویسندگان
چکیده
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of ! limit set is introduced for hybrid systems and is used to prove new results on invariant sets and stability, where Zeno and non-Zeno hybrid systems can be treated within the same framework. As an example, LaSalle's Invariance Principle is extended to hybrid systems. Zeno hybrid systems are discussed in detail. The ! limit set of a Zeno execution is characterized for classes of hybrid systems.
منابع مشابه
Zeno hybrid systems
The interacting continuous and discrete dynamics in hybrid systems may lead to Zeno executions, which are solutions of the system having in"nitely many discrete transitions in "nite time. Although physical systems do not show Zeno behaviour, models of real systems may be Zeno due to modelling abstraction. It is hard to analyse such models with the existing theory. Since abstraction is an import...
متن کاملA New Solution Concept and Family of Relaxations for Hybrid Dynamical Systems
Hybrid dynamical systems have proven to be a powerful modeling abstraction, yet fundamental questions regarding their dynamical properties remain. In this paper, we develop a novel solution concept for a class of hybrid systems, which is a generalization of Filippov’s solution concept. In the mathematical theory, these hybrid Filippov solutions eliminate the notion of Zeno executions. Building ...
متن کاملTowards a Geometric Theory of Hybrid Systems
We propose a framework for a geometric theory of hybrid systems. Given a deterministic, non-blocking hybrid system, we introduce the notion of its hybrifold with the associated hybrid flow on it. This enables us to study hybrid systems from a global geometric perspective as (generally non-smooth) dynamical systems. This point of view is adopted in studying the Zeno phenomenon. We show that it i...
متن کاملA computational approach to synthesizing guards for hybrid systems
We propose a technique for synthesizing switching guards for hybrid systems to satisfy a given state-based safety constraint. Using techniques from sum of squares (SOS) optimization, we design guards defined by semialgebraic sets that trigger mode switches, and we guarantee that the synthesized switching policy does not allow Zeno executions. We demonstrate our approach on an example of switche...
متن کاملOn the Stability of Zeno Equilibria
Zeno behaviors are one of the (perhaps unintended) features of many hybrid models of physical systems. They have no counterpart in traditional dynamical systems or automata theory and yet they have remained relatively unexplored over the years. In this paper we address the stability properties of a class of Zeno equilibria, and we introduce a necessary paradigm shift in the study of hybrid stab...
متن کامل